and Planning - PDFSEARCH.IO - Document Search Engine

and Planning
Results: 108288

#	Item
1	Operator Counting Heuristics for Probabilistic Planning Felipe Trevizan, Sylvie Thi´ebaux, Patrik Haslum Data61, CSIRO and Research School of Computer Science, Australian National University Abstr Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2018-07-07 12:35:35 Mathematics Heuristics Edsger W. Dijkstra Automated planning and scheduling Mathematical optimization Shortest path problem Admissible heuristic Search algorithm Methodology Algorithm Cognition
2	Investors’ Exchange LLC’s Business Continuity Planning Disclosure Statement IEX Group, Inc. (“IEXG”) has developed a Business Continuity Plan (“BCP” or the “Plan”) detailing how the Firm and its wholly ow Add to Reading List Source URL: iextrading.com Language: English IT risk management Economy of New York City IEX Business continuity Economy Finance
3	Optimization Approaches to Multi-robot Planning and Scheduling Kyle E. C. Booth Department of Mechanical & Industrial Engineering University of Toronto, Toronto, Ontario, Canada Add to Reading List Source URL: icaps16.icaps-conference.org Language: English - Date: 2016-06-09 08:09:20 Artificial intelligence Robotics Machine learning Robot Humanrobot interaction Motion planning Automated planning and scheduling Mobile robot Simultaneous localization and mapping Cognitive robotics Ayorkor Korsah Cloud robotics
4	Cost-Based Learning for Planning Srinivas Nedunuri and William R. Cook Douglas R. Smith Dept. of Computer Science, University of Texas at Austin Add to Reading List Source URL: www.kestrel.edu Language: English - Date: 2014-10-03 20:52:55 Logic Mathematics Automated theorem proving Logic programming Mathematical logic Logical truth Propositional calculus Substitution Measure theory operator Decomposition of spectrum
5	Optimal Multi-Valued LTL Planning for Systems with Access Right Levels Mohammad Hekmatnejad, and Georgios Fainekos Abstract— We propose a method for optimal Linear Temporal Logic (LTL) planning under incomplete or unce Add to Reading List Source URL: www.public.asu.edu Language: English - Date: 2018-02-27 19:23:46 Temporal logic Algebraic structures Mathematics Mathematical logic Theoretical computer science Linear temporal logic Logic in computer science Computation tree logic MVS Boolean domain Boolean algebra Finite-state machine
6	Exploiting Search Space Structure in Classical Planning: Analyses and Algorithms (Dissertation Abstract) Masataro Asai Graduate School of Arts and Sciences University of Tokyo Add to Reading List Source URL: icaps16.icaps-conference.org Language: English - Date: 2016-06-09 08:09:18 Game artificial intelligence Routing algorithms Computer programming Computing Mathematics Automated planning and scheduling Theoretical computer science Macro Satisficing A* search algorithm Planning Domain Definition Language Heuristic
7	Critical Constrained Planning and an Application to Network Penetration Testing Marcel Steinmetz Saarland University Saarbr¨ucken, Germany {steinmetz}@cs.uni-saarland.de Add to Reading List Source URL: icaps16.icaps-conference.org Language: English - Date: 2016-06-09 08:09:42 Search algorithms Theoretical computer science Heuristic State space search Mathematical optimization Algorithm Mathematics Philosophy of mathematics Cognitive science
8	Integrating Planning and Recognition to Close the Interaction Loop Richard G. Freedman College of Information and Computer Sciences University of Massachusetts Amherst Add to Reading List Source URL: icaps16.icaps-conference.org Language: English - Date: 2016-06-09 08:09:26 Artificial intelligence Cognitive science Automated planning and scheduling Statistical natural language processing Hierarchical task network Activity recognition STRIPS Latent Dirichlet allocation Intelligence Action selection Topic model Robot
9	Capacity Planning in a General Supply Chain with Multiple Contract Types by Xin Huang Submitted to the Department of Electrical Engineering and Computer Add to Reading List Source URL: web.mit.edu Language: English - Date: 2018-07-20 12:49:56 Mathematics Computational complexity theory Applied mathematics Algorithm Mathematical logic Theoretical computer science Mathematical optimization Linear programming Shortest path problem Ant colony optimization algorithms Genetic algorithm
10	Recommending and Planning Trip Itineraries for Individual Travellers and Groups of Tourists Kwan Hui Lim† Department of Computing and Information Systems, The University of Melbourne, Australia Add to Reading List Source URL: icaps16.icaps-conference.org Language: English - Date: 2016-06-09 08:09:32 Information science Mathematics Information retrieval Poi Recommender system Tourism Personalization Travelling salesman problem

UPDATE